21. Computer performance engineering

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Formal methods (Computer science), Congresses,Stochastic models, Congresses,Computer systems, Evaluation, Congresses

رده :
QA76
.
9
.
E94E64
2010

22. Computer performance engineering : 14th European Workshop, EPEW 2017 Berlin, Germany, September 7 8, 2017 Proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع : Congresses ، Computer systems - Evaluation,Congresses ، Computers - Reliability,Congresses ، Formal methods )Computer science(,Evaluation ، Computer systems,Reliability ، Computers,، Formal methods )Computer science(,، Conference proceedings

رده :
QA
76
.
9
.
E94
E64
2017

23. Constructing correct software

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development. ; Formal methods (Computer science) ;

24. Correct System Design

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,Logics and Meanings of Programs.,روش‌های صوری (کامپیوتر) -- کنگره ها

رده :
QA
76
.
9
.
F67C6
2015
E-Book
,

25. Descriptional Complexity of Formal Systems

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,زبان‌های صوری -- کنگره ها

رده :
QA
76
.
9
.
D4
2015
E-Book
,

26. Descriptional complexity of formal systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.

رده :
QA76
.
5913
D34
2019

27. Descriptional complexity of formal systems :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses. ;

28. Descriptional complexity of formal systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.

29. Descriptional complexity of formal systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses

رده :
QA267
.
3
.
D34
2011

30. Design patterns formalization techniques

پدیدآورنده :

موضوع : ، Software patterns,، Formal methods )Computer science(

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

31. Emotional cognitive neural algorithms with engineering applications

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Cognitive neuroscience. ; Computer logic. ; Formal methods (Computer science) ; Neural networks (Computer science) ;

32. Emotional cognitive neural algorithms with engineering applications : dynamic logic : from vague to crisp

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer logic,، Formal methods )Computer science(,، Neural networks )Computer science(

رده :
QP
360
.
5
.
P47E4

33. Extension innovation method /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal methods (Computer science),Group extensions (Mathematics),BUSINESS & ECONOMICS / Management Science,Formal methods (Computer science),Group extensions (Mathematics),TECHNOLOGY / Engineering / General,TECHNOLOGY / Manufacturing

رده :
QA611
.
3

34. FM 2015

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,Software engineering.,روش‌های صوری (کامپیوتر) -- کنگره ها ,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار

رده :
QA
76
.
9
.
F57
2015
E-Book
,

35. FM 2012

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :
QA76
.
76
.
D47
I593
2012eb

36. FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Congresses ، System design

رده :
QA
76
.
L28
Vol
.
3582

37. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Application software -- Development

رده :
QA
76
.
L28
Vol
.
1708-1709

38. FME 2002 :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses

رده :
QA76
.
76
.
D47
I593
2002

39. FME 2003 :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses

رده :
QA76
.
76
.
D47
I593
2003

40. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design

رده :
QA
76
.
L28
Vol
.
2805